This is Navigator 2.5 with jEdit 5.1.0 or jEdit 5.2pre1, running on Linux or Windows,
with Java 7 or 8.
Enabling the plugin option `navigator.showOnToolbar` the tool bar buttons first appear
as expected. Later they get lost when the tool bar is reset in certain situations,
e.g. when flipping full-screen mode back and forth.
| Submitted | makarius - 2014-07-22 18:20:32.670000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |